An Active, Object-Oriented, Model-Equivalent Programming Language
نویسندگان
چکیده
The intricate and complex structure of existing advanced database applications results in part from poor integration of existing models and languages. This complexity is a barrier to e ectively understanding and developing advanced applications. We can signi cantly reduce the complexity of advanced-application speci cation and implementation by using a model-equivalent language (a language with a oneto-one correspondence to an underlying, executable model as de ned herein). In this chapter we explain the di culties encountered in making models and languages equivalent, and we resolve these di culties for a particular language and model.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملUnifying Modelling and Programming through an Active, Object-Oriented, Model-Equivalent Programming Language
The intricate and complex structure of existing advanced database applications results in part from poor integration of existing models and languages. This complexity is a barrier to effectively understanding and developing advanced applications. We can significantly reduce the complexity of advanced-application specification and implementation by using a model-equivalent language (a language w...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کامل